ARM-compiled target version of minizinc?

Gabriel Hjort Åkerlund

unread,

Mar 1, 2021, 2:03:33 PM3/1/21

to MiniZinc

Is there a compiled version of Minizinc+some solver that targets the ARM instruction set? Has someone tried this out?

Cheers,

Gabriel Hjort Åkerlund

Jip J. Dekker

unread,

Mar 2, 2021, 3:55:45 AM3/2/21

to mini...@googlegroups.com

Hi Gabriel,

MiniZinc and its dependencies seem to work well on aarch64-apple-darwin. We are currently working in adding a universal MacOS build (which includes both x86_64 and arm64) to our CI system to allow us to include native MacOS ARM builds in the release and hopefully run tests on them as well. It seems that it is currently the CBC build that is a bit tricky to build as a universal library. This means that it will not yet be part of the upcoming MiniZinc path release, but will hopefully be available soon.

In the meantime the homebrew build seems to be working correctly on aarch64-apple-darwin. This includes gecode and CBC, but does not include the connections to proprietary solvers.

As far as I’m aware we have not tested MiniZinc on any linux or windows arm64 targets, but they should not pose many more problems apart from possible differences in platform/c++ libraries. Please let us know if you come across any issues.

Kind regards,

Jip

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/7ed2cc42-4189-493f-8716-ea56e76ff363n%40googlegroups.com.

signature.asc

Gabriel Hjort Åkerlund

unread,

Mar 2, 2021, 12:23:38 PM3/2/21

to MiniZinc

Hi Jip,

Thank you for your reply! This is good to know.

Cheers,

Gabriel

steven kelk

unread,

Mar 18, 2025, 12:14:41 PMMar 18

to MiniZinc

Hi everyone,

My beloved x86 laptop recently broke and I now have a Windows 11 ARM laptop. As far as I can see there is no build of Minizinc ready to run on Windows 11 ARM. I then found this thread from 2021 where this topic is raised.

Is there any update on this? I still have access to x86 Windows and Linux machines, but it would be great if I could also get a Windows 11 ARM version running!

Thanks in advance!

Steven Kelk (Maastricht University)

Op maandag 1 maart 2021 om 23:25:45 UTC+1 schreef Jip J. Dekker:

guido.tack

unread,

Mar 18, 2025, 12:58:25 PMMar 18

to MiniZinc

Hi Steven,

We just discussed this with the team the other day actually. It should be fairly straightforward to build MiniZinc for Windows/ARM, however we will have to set up a suitable build machine and add it to our CI system, which requires a bit of work. I hope we'll be able to do this in the next month or so.

Cheers,

Guido

steven kelk

unread,

Mar 25, 2025, 2:46:48 PMMar 25

to mini...@googlegroups.com

Hi Guido, everyone,

Thanks, it would be great to at some point have a dedicated Windows ARM build of Minizinc.

I haven't tested it much yet, but in the meantime I found the workaround of activating WSL2 (Windows Subsystem for Linux) and installing the Linux ARM version of Minizinc in there. Moreover -- earlier versions of WSL didn't have this feature as far as I am aware -- Linux programs with GUIs can now divert their graphical output to Windows. So I installed Minizinc-IDE inside the Linux subsystem, and the GUI can be used inside WIndows. So I'm basically running the Linux ARM version of Minizinc-IDE on my Windows machine :-)

Cheers,

Steven Kelk

Op di 18 mrt 2025 om 08:28 schreef 'guido.tack' via MiniZinc <mini...@googlegroups.com>:

To view this discussion visit https://groups.google.com/d/msgid/minizinc/72795368-5731-4149-871c-824bcbb8c124n%40googlegroups.com.

Reply all

Reply to author

Forward